منابع مشابه
Comparing Object Encodings
Recent years have seen the development of several foundational models for statically typed object oriented programming But despite their intuitive similarity di erences in the technical machinery used to formulate the various proposals have made them di cult to compare Using the typed lambda calculus F as a common basis we now o er a detailed comparison of four models a recursive record encodin...
متن کاملComparing SOAP Performance for Various Encodings, Protocols, and Connections
SOAP is rapidly gaining popularity as the Web service protocol. At the same time, small mobile devices with wireless access, in particular to the Internet, are becoming more prevalent. At first look, it would seem that SOAP as a protocol consumes quite a lot of network bandwidth and processor time. Therefore its suitability for small devices and wireless links needs to be evaluated. This paper ...
متن کاملComparing Higher-Order Encodings in Logical Frameworks and Tile Logic
In recent years, logical frameworks and tile logic have been separately proposed by our research groups, respectively in Udine and in Pisa, as suitable metalanguages with higher-order features for encoding and studying nominal calculi. This paper discusses the main features of the two approaches, tracing differences and analogies on the basis of two case studies: late π-calculus and lazy simply...
متن کاملSymbolic Step Encodings for Object Based Communicating State Machines
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the essential data manipulation features of UML state machines when enriched with a Java-like object oriented action language. The main contribution of the work is the generalization of the ∃-step semantics approach, whi...
متن کاملType - Theoretic Encodings for the Component Object Model
Providing a formal model for understanding COM, Microsoft’s Component Object Model [8, 11], has been a goal for the past few years, in light of the widespread use of that architectural model. Clearly, such a formalization is needed, as witnessed by recent results of Sullivan, Marchukov and Socha [13] pointing out subtle interactions between the core mechanisms of COM, namely interface negotiati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1999
ISSN: 0890-5401
DOI: 10.1006/inco.1999.2829